1. An invitation to applied category theory :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.

رده :
QA9
.
25
.
F66
2019

2. An invitation to applied category theory :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;

3. Berechenbarkeit, Komplexität, Logik :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.

رده :
QA9
.
56
E366
1992

4. Computability: Computable Functions, Logic, And The Foundations Of Mathematics

پدیدآورنده :

کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)

موضوع : توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical

رده :
QA
9
,.
59
.
E67
‬

5. Computability and logic

پدیدآورنده :

کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.

رده :
QA
9
.
59
.
B6C6

6. Computability and logic

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
QA9
.
59
.
B66
2002

7. Computability and logic

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
E-BOOK

8. Computability and logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computable functions,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
C64
1987

9. Computability and logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computable functions,Logic, Symbolic and mathematical

رده :
QA9
.
59
.
C64
1987

10. Computability and logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
B66C6

11. Computability and logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;

12. Computability and logic

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
QA9
.
59
.
B66
2002

13. Computability and logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
B66C6
1989

14. Computability and logic

پدیدآورنده :

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical,، Computable functions

۴ نسخه از این کتاب در ۴ کتابخانه موجود است.

15. Computability, complexity, logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
B6713

16. Computability, complexity, logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
B6713
1989

17. Computability : computable functions, logic, and the foundations of mathematics

پدیدآورنده :

موضوع : ، Computable functions,، Logic, Symbolic and mathematical,، Godel's theorem

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

18. Computability : computable functions, logic, and the foundations of mathematics

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computable functions,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
E67
1989

19. Computability : computable functions, logic, and the foundations of mathematics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Computable functions, Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
E67

20. Discrete structures, logic, and computability

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Computer science,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions

رده :
QA76
.
H383
1995